In Basic Linguistic Theory R. M. W. Dixon provides a new and fundamental characterization of the nature of human languages and a comprehensive guide to their description and analysis. In three clearly written and accessible volumes, he describes how best to go about doing linguistics, the most satisfactory and profitable ways to work, and the pitfalls to avoid. In the first vol...(展开全部)

Basic Linguistic Theory provides a fundamental characterization of the nature of human languages and a comprehensive guide to their description and analysis. In crystal-clear prose, R. M. W. Dixon describes how to go about doing linguistics. He show how grammatical structures and rules may be worked out on the basis of inductive generalisations, and explains the steps by which ...(展开全部)

In Basic Linguistic Theory R. M. W. Dixon provides a new and fundamental characterization of the nature of human languages and a comprehensive guide to their description and analysis. In three clearly written and accessible volumes, he describes how best to go about doing linguistics, the most satisfactory and profitable ways to work, and the pitfalls to avoid. In the first vol...(展开全部)

This book explores the far-reaching implications of Eleanor Rosch's seminal work on categorization and prototype theory, extending the application of prototype theory from lexical semantics to morphology, syntax, and phonology. Providing a clear and readable introduction to the field of cognitive linguistics, this acclaimed book has now been updated with a new chapter.

The first part of this volume is based on a course taught at Princeton University in 1961-62; at that time, an excellent set of notes was prepared by David Cantor, and it was originally my intention to make these notes available to the mathematical public with only quite minor changes. Then, among some old papers of mine, I accidentally came across a long-forgotten manuscript b...(展开全部)

The main notions of set theory (cardinals, ordinals, transfinite induction) are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set-theoretic topology. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important, interesting, and simple to merit its own l...(展开全部)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear...(展开全部)

The main notions of set theory (cardinals, ordinals, transfinite induction) are fundamental to all mathematicians, not only to those who specialize in mathematical logic or set-theoretic topology. Basic set theory is generally given a brief overview in courses on analysis, algebra, or topology, even though it is sufficiently important, interesting, and simple to merit its own l...(展开全部)

The field of random matrix theory has seen an explosion of activity in recent years, with connections to many areas of mathematics and physics. However, this makes the current state of the field almost too large to survey in a single book. In this graduate text, we focus on one specific sector of the field, namely the spectral distribution of random Wigner matrix ensembles (suc...(展开全部)

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the pr...(展开全部)